| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Compiler Construction | Compilerbau | Fach-/Modulprüfung | 6 | 309090 | ||
| Compilerbau | Übung | 273914 | Mo 15:15-16:45 AH V (2356|050) (×14) Fr 13:00-15:00 5056 (2356|056) (×1) | |||
| Compilerbau | Vorlesung | 273913 | Mo 12:30-14:00 AH VI (2356|051) (×11) Do 12:30-14:00 AH V (2356|050) (×11) | |||
| Efficient Algorithms | Effiziente Algorithmen (WS) | Fach-/Modulprüfung | 6 | 275932 | ||
| Effiziente Algorithmen - Übung | Tutorium | 273115 | Mo 10:30-12:00 5054 (2356|054) (×11) Di 12:30-14:00 5052 (2356|052) (×10) Mi 12:30-14:00 5056 (2356|056) (×11) Mi 18:30-20:00 5052 (2356|052) (×11) Fr 12:30-14:00 5055 (2356|055) (×10) | |||
| Effiziente Algorithmen | Vorlesung | 271774 | Di 10:00-12:00 Aula 2 (2352|021) (×1) Do 16:30-19:00 AH II (2350|111) (×1) | |||
| Mathematical Logic II | Mathematische Logik II | Fach-/Modulprüfung | 6 | 312379 | ||
| Mathematische Logik II | Übung | 266557 | ||||
| Mathematische Logik II | Vorlesung | 268041 | ||||
| Module Complexity Theory | Komplexitätstheorie | Fach-/Modulprüfung | 6 | 284084 | ||
| Übung zur Vorlesung Komplexitätstheorie | Übung | 273991 | ||||
| Komplexitätstheorie | Vorlesung | 273990 | ||||
| Satisfiability Checking | Erfüllbarkeitsüberprüfung (Satisfiability Checking) | Fach-/Modulprüfung | 6 | 369796 |